Store the maximum of the existing value and the provided value for each
attribute if and only if \code{checks} hold on the object.
\input{\topdir/client/fragments/fail_if_not_found}

\input{\topdir/client/fragments/conditional}
